$\forall$$l$:Top List, ${\it ll}$:(Top List) List. concat($l$.${\it ll}$) $\sim$ ($l$ @ concat(${\it ll}$))